sin x sin 3x sin 5x sin 7x = 4 cos x cos 2x sin 4x